منابع مشابه
Variations sur un THème de Aldama et Shelah
We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...
متن کاملVariations sur le théorème de Cassels, Ellison et Pfister
Artin [Ar] (1927) : Une fraction rationnelle f ∈ R(X1, . . . , Xn) positive sur R est une somme de carrés. Pfister [Pf] (1967) : c’est une somme de 2 carrés. En particulier pour n = 2, f ∈ 4 R(X,Y ). Cassels, Ellison, Pfister [CEP] (1971) : 4 carrés sont vraiment nécéssaires (i.e. le nombre de Pythagore de R(X, Y ) est 4, car le polynôme de Motzkin 1 + XY 4 + XY 2 − 3XY , positif ou nul, ne s’é...
متن کاملBornes inférieures sur le calcul de polynômes
Question centrale : bornes inférieures sur la taille des circuits arithmétiques pour le calcul de polynômes. Par exemple, le permanent peut-il être calculé par une famille de circuits de taille polynomiale ? Malheureusement, la meilleure borne qu’on connaisse pour des polynômes “explicites” (permanent, déterminant, etc.) est Ω(n log n). . . Ce résultat est dû à Baur et Strassen (1983) et consti...
متن کاملExtraction de commentaires utilisateurs sur le Web
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملAlgorithmes de classification répartis sur le cloud
The subjects addressed in this thesis are inspired from research problems faced by the Lokad company. These problems are related to the challenge of designing efficient parallelization techniques of clustering algorithms on a Cloud Computing platform. Chapter 2 provides an introduction to the Cloud Computing technologies, especially the ones devoted to intensive computations. Chapter 3 details ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Voix et Images
سال: 2017
ISSN: 0318-9201,1705-933X
DOI: 10.7202/1043154ar